Solving geoinformatics parametric polynomial systems using the improved Dixon resultant

Improvements in computational and observational technologies in geoinformatics, e.g., the use of laser scanners that produce huge point cloud data sets, or the proliferation of global navigation satellite systems (GNSS) and unmanned aircraft vehicles (UAVs), have brought with them the challenges of handling and processing this “big data”. These call for improvement or development of better processing algorithms. One way to do that is integration of symbolically presolved sub-algorithms to speed up computations. Using examples of interest from real geoinformatic problems, we will discuss the Dixon-EDF resultant as an improved resultant method for the symbolic solution of parametric polynomial systems. We will briefly describe the method itself, then discuss geoinformatics problems arising in minimum distance mapping (MDM), parameter transformations, and pose estimation essential for resection. Dixon-EDF is then compared to older notions of “Dixon resultant”, and to several respected implementations of Gröbner bases algorithms on several systems. The improved algorithm, Dixon-EDF, is found to be greatly superior, usually by orders of magnitude, in both CPU usage and RAM usage. It can solve geoinformatics problems on which the other methods fail, making symbolic solution of parametric systems feasible for many problems

Digital Morphogenesis via Schelling Segregation

Schelling's model of segregation looks to explain the way in which particles or agents of two types may come to arrange themselves spatially into configurations consisting of large homogeneous clusters, i.e. connected regions consisting of only one type. As one of the earliest agent based models studied by economists and perhaps the most famous model of self-organising behaviour, it also has direct links to areas at the interface between computer science and statistical mechanics, such as the Ising model and the study of contagion and cascading phenomena in networks. While the model has been extensively studied it has largely resisted rigorous analysis, prior results from the literature generally pertaining to variants of the model which are tweaked so as to be amenable to standard techniques from statistical mechanics or stochastic evolutionary game theory. In BK, Brandt, Immorlica, Kamath and Kleinberg provided the first rigorous analysis of the unperturbed model, for a specific set of input parameters. Here we provide a rigorous analysis of the model's behaviour much more generally and establish some surprising forms of threshold behaviour, notably the existence of situations where an increased level of intolerance for neighbouring agents of opposite type leads almost certainly to decreased segregation

Projection methods in conic optimization

There exist efficient algorithms to project a point onto the intersection of a convex cone and an affine subspace. Those conic projections are in turn the work-horse of a range of algorithms in conic optimization, having a variety of applications in science, finance and engineering. This chapter reviews some of these algorithms, emphasizing the so-called regularization algorithms for linear conic optimization, and applications in polynomial optimization. This is a presentation of the material of several recent research articles; we aim here at clarifying the ideas, presenting them in a general framework, and pointing out important techniques

Morphologic adjustments of actively evolving highly curved neck cutoffs

Neck cutoffs and their resultant oxbow lakes are important and prominent features of riverine landscapes. Detailed field-based research focusing on the morphologic evolution of neck cutoffs is currently insufficient to fully characterize cutoff evolution. High-resolution bathymetric data were collected over 3 years for the purpose of determining channel morphology and morphologic change on three actively evolving neck cutoffs. Results indicate the following general trends in morphologic adjustment: (1) a longitudinal bar in the upstream meander limb that develops near the entrance to the abandoned bend; (2) a deep scour hole in the downstream meander limb immediately downstream of the cutoff channel; (3) erosion of the bank opposite the cutoff in the downstream meander limb; (4) a cutoff bar in the downstream meander limb at the junction corner of the cutoff channel and the downstream meander limb; and (5) perching of the exit of the abandoned bend above the cutoff channel due to channel bed incision. The results presented herein were used to develop a conceptual model that depicts the morphologic evolution of highly curving neck cutoffs. The findings of this research are combined with recent analyses of the three-dimensional flow structure through neck cutoffs to provide a mechanistic explanation for the morphodynamics of neck cutoffs. (c) 2019 John Wiley & Sons, Ltd

Perceptions Held by Obese Children and their Parents: Implications for Weight Control Intervention

The study was designed to identify some of the psychosocial barriers to compliance in a hospital-based weight control intervention program for adolescents. Forty obese adolescents, 10 to 16 years of age, and their parents were surveyed prior to participa tion in a behavioral change weight control program at a major teaching hospital. Significant correlations were obtained between weight loss outcome and six factors. In obese adolescents, weight loss was significantly associated with their beliefs regarding: (1) personal control over weight, (2) barriers or difficulty of losing weight, (3) medical problems as a cause of their obesity, (4) family problems as a cause of their obesity, and (5) perceived willingness of family members to diet. It is suggested that greater weight loss in children who perceived more barriers/difficulty and less family willing ness to diet may reflect the importance of having realistic expectations related to be havioral compliance. In addition, a positive parental attitude or expectation that the child was less likely to be overweight in the future was associated with greater weight loss compliance. Other parental health beliefs, however, did not generally predict the child's weight loss response to the intervention. The findings lend support to the sig nificance of the adolescent's beliefs regarding weight and family support in explaining weight loss response to a behavioral change intervention program.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/66720/2/10.1177_109019818801500204.pd

Rich Situated Attitudes

We outline a novel theory of natural language meaning, Rich Situated Semantics [RSS], on which the content of sentential utterances is semantically rich and informationally situated. In virtue of its situatedness, an utterance’s rich situated content varies with the informational situation of the cognitive agent interpreting the utterance. In virtue of its richness, this content contains information beyond the utterance’s lexically encoded information. The agent-dependence of rich situated content solves a number of problems in semantics and the philosophy of language (cf. [14, 20, 25]). In particular, since RSS varies the granularity of utterance contents with the interpreting agent’s informational situation, it solves the problem of finding suitably fine- or coarse-grained objects for the content of propositional attitudes. In virtue of this variation, a layman will reason with more propositions than an expert

Toxoplasma and coxiella infection and psychiatric morbidity: A retrospective cohort analysis

BACKGROUND: It has been suggested that infection with Toxoplasma gondii is associated with slow reaction and poor concentration, whilst infection with Coxiella burnetii may lead to persistent symptoms of fatigue. METHODS: 425 farmers completed the Revised Clinical Interview Schedule (CIS-R) by computer between March and July 1999 to assess psychiatric morbidity. Samples of venous blood had been previously collected and seroprevalence of T. gondii and C. burnetii was assessed. RESULTS: 45% of the cohort were seropositive for T. gondii and 31% were positive for C. burnetii. Infection with either agent was not associated with symptoms reflecting clinically relevant levels of concentration difficulties, fatigue, depression, depressive ideas or overall psychiatric morbidity. CONCLUSIONS: We do not provide any evidence that infection with Toxoplasma gondii or Coxiella burnetii is associated with neuropsychiatric morbidity, in particular with symptoms of poor concentration or fatigue. However, this is a relatively healthy cohort with few individuals reporting neuropsychiatric morbidity and therefore the statistical power to test the study hypotheses is limited

Melting of a 2D Quantum Electron Solid in High Magnetic Field

The melting temperature ($T_m$) of a solid is generally determined by the pressure applied to it, or indirectly by its density ($n$) through the equation of state. This remains true even for helium solids\cite{wilk:67}, where quantum effects often lead to unusual properties\cite{ekim:04}. In this letter we present experimental evidence to show that for a two dimensional (2D) solid formed by electrons in a semiconductor sample under a strong perpendicular magnetic field\cite{shay:97} ($B$), the $T_m$ is not controlled by $n$, but effectively by the \textit{quantum correlation} between the electrons through the Landau level filling factor $\nu$=$nh/eB$. Such melting behavior, different from that of all other known solids (including a classical 2D electron solid at zero magnetic field\cite{grim:79}), attests to the quantum nature of the magnetic field induced electron solid. Moreover, we found the $T_m$ to increase with the strength of the sample-dependent disorder that pins the electron solid.Comment: Some typos corrected and 2 references added. Final version with minor editoriol revisions published in Nature Physic

Exploitation of Other Social Amoebae by Dictyostelium caveatum

Dictyostelium amoebae faced with starvation trigger a developmental program during which many cells aggregate and form fruiting bodies that consist of a ball of spores held aloft by a thin stalk. This developmental strategy is open to several forms of exploitation, including the remarkable case of Dictyostelium caveatum, which, even when it constitutes 1/10(3) of the cells in an aggregate, can inhibit the development of the host and eventually devour it. We show that it accomplishes this feat by inhibiting a region of cells, called the tip, which organizes the development of the aggregate into a fruiting body. We use live-cell microscopy to define the D. caveatum developmental cycle and to show that D. caveatum amoebae have the capacity to ingest amoebae of other Dictyostelid species, but do not attack each other. The block in development induced by D. caveatum does not affect the expression of specific markers of prespore cell or prestalk cell differentiation, but does stop the coordinated cell movement leading to tip formation. The inhibition mechanism involves the constitutive secretion of a small molecule by D. caveatum and is reversible. Four Dictyostelid species were inhibited in their development, while D. caveatum is not inhibited by its own compound(s). D. caveatum has evolved a predation strategy to exploit other members of its genus, including mechanisms of developmental inhibition and specific phagocytosis